results for Binary Decision Diagram